Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
101	In-Depth Coverage of the Icon Programming Language December 1991 Number 9 In this issue … Bogus Expressions … 1 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:45:20 Data types Type theory Icon Type system String C Variable Type inference Subroutine Software engineering Computing Computer programming
102	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
103	Package ‘fdrci’ February 19, 2015 Type Package Title Permutation-based FDR Point and Confidence Interval Estimation Version 2.0 Date Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 17:46:02 Measurement Biostatistics Psychometrics Confidence interval Statistical hypothesis testing Statistical significance Normal distribution Permutation Statistics Statistical inference Hypothesis testing
104	Brit. J. Phil. Sci), 323–357 Severe Testing as a Basic Concept in a Neyman–Pearson Philosophy of Induction Deborah G. Mayo and Aris Spanos Add to Reading List Source URL: www.phil.vt.edu Language: English - Date: 2008-10-09 12:53:49 Design of experiments Psychometrics Statistical tests Statistical hypothesis testing Statistical power Statistical significance P-value Null hypothesis Type I and type II errors Statistics Hypothesis testing Statistical inference
105	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
106	A Quantitative Method for Substantive Robustness Assessment Forthcoming in Political Science Research and Methods Justin Esarey∗ and Nathan Danneman† April 10, 2014 Add to Reading List Source URL: jee3.web.rice.edu Language: English - Date: 2014-04-10 17:15:59 Statistical inference Econometrics Estimation theory Statistical hypothesis testing Statistical power Type I and type II errors Bayes estimator Confidence interval Loss function Statistics Hypothesis testing Design of experiments
107	Microsoft Word - Acctest25a.doc Add to Reading List Source URL: www.prodsyse.com Language: English - Date: 2007-09-13 19:35:08 Design of experiments Statistical theory Reliability engineering Survival analysis Normal distribution Statistical hypothesis testing Type I and type II errors Confidence interval Maximum likelihood Statistics Hypothesis testing Statistical inference
108	In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:03:50 Programming language theory Computing Object-oriented programming Polymorphism Deduction Subtype polymorphism Symbol Type system System F Type theory Software engineering Data types
109	A Haskell Roadshow Joachim Breitner January 20th 2011 Features Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional languages Type theory Haskell Functional programming Type system Lazy evaluation Type inference Pure Strong typing Software engineering Programming language theory Computing
110	Dimension Types ? Andrew Kennedy University of Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:22:53 Computing Functional languages Procedural programming languages Type systems Type inference Standard ML ML Unification Principal type Programming language theory Type theory Software engineering

UPDATE